- negatively semidefinite matrix
- отрицательно полуопределённая матрица
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… … Wikipedia